эффективная процедура

См. также в других словарях:

• эффективная процедура — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN effective procedure …   Справочник технического переводчика

• разрешающая процедура — эффективная процедура — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия Синонимы эффективная процедура EN decision procedure …   Справочник технического переводчика

• АЛГОРИТМА СЛОЖНОСТЬ — вычислений функция, дающая числовую оценку трудности (громоздкости) процессов применения алгоритма к исходным данным. Уточнением А. с. вычислений служит понятие сигнализирующей функции (или просто сигнализирующей) функции, к рая задается… …   Математическая энциклопедия

• АНТИНОМИИ ОТНОШЕНИЯ ИМЕНОВАНИЯ —     АНТИНОМИИ ОТНОШЕНИЯ ИМЕНОВАНИЯ антиномии, возникающие в ситуациях именования при применении правила замены равного равным (принципа взаимозаменимости).     Напр., в предложении “Птолемей считал, что Солнце вращается вокруг Земли”, замена… …   Философская энциклопедия

• разрешимая теория — теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная… …   Словарь терминов логики

• формальная теория — теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные утверждения заменены в них последовательностями символов, манипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система… …   Словарь терминов логики

• Трансперсональная психология (I) (transpersonal psychology I) — Примечание редактора. Т. п. очень важный вопрос, связанный со взаимопроникновением концепций двух психол. наук Запада и Востока и созданием из них производной концепции, к рая сразу обрела независимость. Именно поэтому я обратился к доктору Н.… …   Психологическая энциклопедия

• ВОПРОС — тип суждения, предполагающий недостаток информации о соответствующем объекте и требующий ответа, объяснения. Логическая структура любого В. включает: 1) базисную информацию то, что уже известно; 2) неизвестное то, на что направлен В.; 3)… …   Новейший философский словарь

• АЛГОРИТМА СЛОЖНОСТЬ — описания величина, характеризующая длину описания алгоритма. В зависимости от точной концепции алгоритма А. с. описания уточняется по разному. Единого достаточно устоявшегося уточнения к настоящему моменту (1977) не существует. Ниже рассмотрены… …   Математическая энциклопедия

• ФОРМАЛЬНАЯ СИСТЕМА — дедуктивная система, в математич. логике неинтерпретированное исчисление, задаваемое правилами образования выражений этого исчисления и правилами построения выводов в этом исчислении. Выражения Ф. с. рассматриваются как чисто формальные… …   Математическая энциклопедия

• Формальная теория — Формальная (аксиоматическая) теория, формальное исчисление это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства. Формальная теория разновидность дедуктивной теории, где множество теорем… …   Википедия